翻訳と辞書 |
Sudan function : ウィキペディア英語版 | Sudan function In the theory of computation, the Sudan function is an example of a function that is recursive, but not primitive recursive. This is also true of the better-known Ackermann function. The Sudan function was the first function having this property to be published. It was discovered (and published〔Bull. Math. Soc. Roumaine Sci. 30 (1927), 11 - 30; Jbuch 53, 171〕) in 1927 by Gabriel Sudan, a Romanian mathematician who was a student of David Hilbert. ==Definition== : : :
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Sudan function」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|